belief logic中文是什么意思

belief n. 1.信，信任；相信 (in); 信仰，信心。 2. ...
logic n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
belief n. 1.信，信任；相信 (in); 信仰，信心。 2.信念；意见。 3.【基督新教】信条；教义；[the B-]使徒信条。 He has no great belief in religion 他不大相信宗教。 a man worthy of belief 可以信得过的人。 a person light of belief 轻信的人。 My belief is that …我相信，在我看来。 beyond belief 难以置信；非常，想像以外地。 in the belief that …相信…。 to the best of my belief 我相信，以我看来。
belief in 信任于
in the belief that 相信，认为，对
of belief 信仰的影子
absolute belief 绝对把握
acquired belief 习得信念
act of belief 信仰之行
age of belief 信仰的年代
belief and betrayal 信仰与背叛
belief and worship 信仰与崇拜
belief function 可信度函数
belief perseverance 信念保持
belief revision 信念修正; 信仰修正
belief spaces 信念空间
belief system 信念系统; 信任系统; 信条系统; 信仰体系
belief systems 信仰体系
beyond belief 难以置信; 以相信
crisis of belief 信仰危机
degree of belief 可信度; 信任度; 置信度
equivalence belief 等值信念
false belief 误信念
finding a belief 如流星般坠落
have belief in 对...有信心

千万人都在用的超大词汇词典翻译APP

Self - belief logic systems for depicting rnowledge and belief
关于知识和信念的逻辑框架
This paper proposes a new method of modeling opponents in challenging environment , based on the model of bdi ( belief , desire , intention ) and combined with transposition principle and also probabilistic belief logic
本论文以agent的bdi模型为思维模型，在概率信念逻辑基础上，引入换位原理，给出了一种多智能体对手建模的新思路并将之应用到机器人足球比赛中。
In this paper , the belief logic system gny and it ' s related implementation tool spearii are utilized , ssl protocol is a focused instance , then the detailed analysis procedure from initial protocol model to various evolution protocol models is given , later the final evolution protocol model and ssl protocol are contrasted and thus the security analysis conclusion is drawn for ssl . during the analysis procedure two practical security authentication solutions are designed based on evolution protocol models
本文采用著名的信念逻辑gny逻辑系统及其相关的形式化工具spear ，以ssl协议为分析实例，详细阐述了从初始协议模型到各个进化协议模型的分析过程，并将最终的进化模型与ssl协议作比较，给出ssl协议的安全分析，同时在分析过程中以协议模型为基础设计了两个实用的安全认证方案。